Видео с ютуба Rust Microkernel

Nonos-Kernel Build instructions and ELF binary check (x86_64 Bare Metal 64-bit ELF image) Part one

Jeremy Soller: "10 Years of Redox OS and Rust" | RustConf 2025

Rust-based Drivers and Verified Rust Applications on seL4 - Robert VanVossen, Dornerworks

Model-based Development for seL4 Microkit/Rust with Integrated Formal Methods using H... J. Hatcliff

Redox OS: NOVO Sistema Operacional SEGURO com MicroKernel em Rust

Redox OS pode ser o futuro dos sistemas operacionais?

Redox OS: Uma Alternativa Baseada em Rust para Linux e BSD

Building a secure Operating System (Redox OS) with Rust (Interview)

Magnetite: Rust-Based OS Services for seL4 - Juliana Furgala, MIT Lincoln Laboratory

Linux и Rust #linux #rust

Redox OS 0.8 is out for this research micro kernel written in Rust!

Novità nel kernel linux parlando di Rust e Microkernels e guardando al futuro del kernel più diffuso

2i: Zack Pierce: FerrOS – Rust-y unikernels on seL4

A microkernel written in Rust Porting the UNIX like Redox OS to Armv8 A case study of Rust as a la

Rust On L4Re Safe Language Meets Safe Microkernel

Redox OS A safety first microkernel developed in Rust

7.3. Implementação de Tarefas em Sistemas Pequenos (parte 3 de 3) - Microkernel

A microkernel written in Rust: Porting the UNIX-like Redox OS to Armv8 A case study of Rust as a la…

YVR18-509: Redox OS - a Rust microkernel on Arm

Redox OS A safety-first microkernel developed in Rust